Microsoft Mathematics - PDFSEARCH.IO - Document Search Engine

Microsoft Mathematics
Results: 4205

#	Item
431	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods
432	Microsoft Word - TheRGuide2.5.doc Add to Reading List Source URL: cran.es.r-project.org Language: English - Date: 2010-08-13 02:33:00 Logarithms Exponentials Functional languages Functions and mappings Analytic functions Natural logarithm Matrix R Exponentiation Mathematics Special functions Mathematical analysis
433	Microsoft Word - R Reference Card 2.0.doc Add to Reading List Source URL: cran.stat.auckland.ac.nz Language: English - Date: 2013-01-05 06:05:12 Elementary mathematics Functions and mappings Linear algebra Analytic geometry Function Normal distribution Vector space Conditioning Inverse function Mathematics Mathematical analysis Algebra
434	TONE-ENHANCED GENERALIZED CHARACTER POSTERIOR PROBABILITY (GCPP) FOR CANTONESE LVCSR Yao Qian1,2 Frank K. Soong1,2 Tan Lee1 1 Department of Electronic Engineering, The Chinese University of Hong Kong, Hong Kong, China Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-08-10 10:41:27 Computer accessibility Speech recognition Graph Connectivity Mathematics Humanâ€“computer interaction Computing Computational linguistics Graph theory Automatic identification and data capture
435	Microsoft Word - TheRGuide2.5.doc Add to Reading List Source URL: cran.cardse.net Language: English Logarithms Exponentials Functional languages Functions and mappings Analytic functions Natural logarithm Matrix R Exponentiation Mathematics Special functions Mathematical analysis
436	Microsoft Word - T11_UG_Supplement4_Intro_FINAL.docx Add to Reading List Source URL: isc.bc.edu Language: English - Date: 2013-01-16 16:51:10 Trends in International Mathematics and Science Study Grade Education Evaluation Educational research
437	Microsoft Word - P11_UG_Supplement4_Intro_FINAL.docx Add to Reading List Source URL: isc.bc.edu Language: English - Date: 2013-02-04 10:23:56 Youth Trends in International Mathematics and Science Study State school Grade Middle school Education Educational research Educational stages
438	Microsoft Word - ConradsERoehl-SSRconf66a404_V4 Add to Reading List Source URL: advdmi.com Language: English - Date: 2014-01-16 13:37:27 Mathematical modeling Statistical methods Neural networks Collective intelligence Mathematical model Time series Linear regression Univariate Analysis Statistics Mathematics Econometrics
439	Microsoft Word - TheRGuide2.5.doc Add to Reading List Source URL: cran.stat.upd.edu.ph Language: English - Date: 2010-08-13 02:33:00 Logarithms Exponentials Functional languages Functions and mappings Analytic functions Natural logarithm Matrix R Exponentiation Mathematics Special functions Mathematical analysis
440	Microsoft Word - TheRGuide2.5.doc Add to Reading List Source URL: mirrors.dotsrc.org Language: English - Date: 2010-08-13 02:33:00 Logarithms Exponentials Functional languages Functions and mappings Analytic functions Natural logarithm Matrix R Exponentiation Mathematics Special functions Mathematical analysis

UPDATE